generate:
	@./generate.sh --verify

hello:
	$(MAKE) -C example hello
